Software Reliability Redux
نویسنده
چکیده
SOFTWARE-INTENSIVE SYSTEMS with high reliability requirements typically are implemented through heroic (and expensive) engineering efforts. Control systems in planes, nuclear reactors, trains, pacemakers, and spaceships are developed by highly trained personnel through strictly managed software development processes with a dose of formal methods. This approach has worked admirably up to now, but its strains are beginning to show.
منابع مشابه
Common Skin Diseases
A point on pseudo-chancre redux raised by the reviewer in the last edition has been settled in consonance with the modern opinion in this edition. Among the rare diseases are included pemphigus and under it the Senear-Usher type of it. Concerning the non-essential, this edition compares very unfavourably with the last. The binding has been done badly. Stitches crumple nearly every leaf and cut ...
متن کاملThe Redux 0 Server
Redux 0 is a subset of the full REDUX modell7]. The latter performs problem solving. In contrast Redux 0 does not and acts only as a decision maintenance server. It takes objects of types deened in an ontology of decision components and maintains dependencies between them. Redux 0 is domain-independent. The dependency relationships are maintained on the basis of proposition type and not content...
متن کاملUsing Pareto optimality to coordinate distributed agents
Pareto optimality is a domain-independent property that can be used to coordinate distributed engineering agents. Within a model of design called Redux, some aspects of dependency-directed backtracking can be interpreted as tracking Pareto optimality. These concepts are implemented in a framework, called Next-Link, that coordinates legacy engineering systems. This framework allows existing soft...
متن کاملRural Europe Redux
Rural Europe Redux? Reflections on Alternative Agro-Food Networks and Paradigm Change David Goodman Department of Environmental Studies University of California, Santa Cruz **Forthcoming in Sociologia Ruralis (2004), 44 (1)**
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Software
دوره 34 شماره
صفحات -
تاریخ انتشار 2017